There really were two problems, one with the 457(b) 403(b) if you had Designated Roth contributions and were over 18,500, and one for people who were over 24,50...

Yes, the difficulty, I think, is that my employer has correctly withheld and reported the contributions, but TurboTax doesn't see them as an allowable contribut...