Wait and see if the IRS adjusts it themselves. Otherwise, come back in later March when the 1040-X amended return form is available here.
