After you file

If IRS computers did not notice your "miscalculation" and  correct your refund, it is time to amend your return.