After you file

@kariscrux - no; there is no amendment required as the IRS has already made the adjustment.