Just finsihed filing and forgot a very small W-2. We get a refund. Should I file an amendment immediately or wait for IRS to catch and make the change?