Maybe, if this really happens, and maybe, if we cross our fingers, IRS will automatically calculate the change and send refunds accordingly. One can always hope.
