Do NOTHING ... the IRS will most likely catch this and adjust your refund. If they don't then and only then should you amend the return so just wait patiently.
