I wouldn't expend any time, effort, or stress over $10. The IRS is not going to audit you for $10, especially since it was their decision to send it to you. Wait and see if you get a letter. And if you don't get a letter, just forget about it.
