My bad. Re-read your post. The 401(k) contribution is in its own W-2 AND reflected in in Box 1 income. My bad.
