Yeah, I don't have 6251 or 8801 on either last year's or this year's return. My guess is they automatically did the math, but I have my doubts that it's correct based on advice on my company's internal mailing lists. Everybody else is claiming the same situation is non-taxable.
