I was finally able to contact the IRS, and they indicated that they had mailed us a check for the remaining $898 in May, 2021. Mystery solved. I do owe the money, and I paid it right away.
