I looked and didn't see anything. I suspect it's some kind of unknown deduction that gets disallowed after income goes higher.
