After you file

Right -  best for him to amend and fix it rather than let the IRS figure it out and send a bill for back tax plus interest and penalties.   The IRS letters usually go out a year or two after filing so interest and late penalties can get quite large.
**Disclaimer: This post is for discussion purposes only and is NOT tax advice. The author takes no responsibility for the accuracy of any information in this post.**