After you file

This is an unusual situation this year  so there is no previous track record to go off of in this matter.   You can send in another amended return to get the missing credit ... make sure column A reflect the changes the IRS made.  This may not be easy to do in the program so completing a paper copy may be needed since you will need to mail in the second amended return.