you don't have to file separately to collect a missing stimulus payment or payments.
IRS knows the payments are doubled on a Joint return.
