After you file

I suggest you wait until at least the 25th to file the return indicating the missing money since the IRS had until 1/15 to mail out the payment.   And since the IRS will not process anything until mid February you have time to wait and be patient.    If   you get the money  after you file then the IRS will delay your return as they correct the error ... no one needs to file in a rush this year.