After you file

I paid the amount due on my 1040 two times by accident on April 12. I never contacted the IRS about this; I was planning to get around to it eventually. On April 28 the IRS mailed me a check for the complete extra amount paid, with no explanatory letter.