If my contribution is not subject to federal withholding then it should not be included in box 1, but it is as I can see from simple math. And according to the same document you reference, it SHOULD be included. Which means it would have to be deducted elsewhere to obtain the tax benefits.
