He needs to complete and file an amended return to send back the stimulus payment he got by mistake.
The original return that he filed ONLY had the credit on line 30 so you can get a 2020 form from the IRS and fill it in manually.
