After you file

Technically, it should be reported on an amended return, although it may not change your tax at all.  Because the amount is so small, and if you had no other concerns, I would ignore it and wait and see if the IRS contacts you.  If you are in a situation where crossing every t and dotting every i is important, you might want to amend.  That's more in the realm of legal advice.