Don't do anything right now. Wait for further information from the IRS. The IRS might make the adjustment without your having to do anything. They are in the process of figuring out what to do.
