After you file

The IRS online now shows a negative 2019 balance for the accidental payment I made.  I am hoping the IRS will simply refund the overpayment, or otherwise I will try and get that back as part of another 1040X filing attempt.