After you file

You need to ask the IRS.  They should automatically catch that and send it back to you.  Unless when you paid it online you didn't select the right year for the payment.  In which case you need to add it to your tax return as an estimated payment.