Is a 20-year-old tax credit still a problem for the IRS?