Yup. Few people know that the 401k deduction is a massive loophole someone found and exploited. It was never intended to be a retirement vehicle or used in a widespread manner. There was discussion of repealing it as the tax revenue hit was not planned for.