After you file

A purist would argue that since all income has to be reported you should amend. As a practical matter you could do nothing and let the IRS adjust your return. Your choice.