After you file

Thank you - Probably go ahead an file an amended return - hate to wait to see if the IRS finds the mistake.