The 401k contribution is still subject to Social Security and Medicare so you can’t just add it to his W-2. Run a bonus check large enough to cover the 401 contribution and SS and Medicare to generate zero net check
