Sorry I missed that you already filed (embarrassing) .
IRS will refund your overpayment, probably in less time than it takes IRS to process a 1040-X.
So it is simplest to only wait for that .
BUT
if you insist, 1040-X.PDF is also on the IRS website.
