So now he must to wait for IRS correction, right?

He sent the return and payment by mail (separate). In January, he got a letter from IRS that they got his payment but didn't get return. He sent tax return again. So it may take time. 

Thank you for your help.