Retirement tax questions

Did you file already ?

If so, IRS computers will probably make the correction for you.

you don't have to amend your tax return.