You probably don't have to do anything. Just wait. The IRS will notice the extra payment and refund it to you. If you don't hear from the IRS after a couple of months, then you will have to contact them.
