The IRS might adjust for this themselves, but it could take time. Come back at the end of the month, when the 1040-X amended return form is ready here.
