If $3,100 was reported to the IRS on W-2 or other income document, IRS will add it in.
You don't have to amend.
You may face late penalty if mistake is found after the due date, July 15.
