Since the IRS will not start processing returns until 2/12 there is time to wait for the fix. Check a couple times a week ... Wed & Sat are good.
