Don’t do anything and just wait for the refund, the IRS says.