After you file

you'll have to wait until it's fully processed. if the IRS catches the error they will likely change the numbers accordingly so you won't have to do anything. if they don't you'll need to amend