You do NOTHING ... the IRS will automatically correct your return for you. IF for some reason they don't then, and only then, you should amend the return to send the excess credit back.
