When you enter the W-2 you are actually taking into account the contributions to the TSP (Thrift Savings Plan).  The non-Roth TSP is actually reducing the amount entered on line 1 (Taxable wages) of the W-2.

Thank you for your military service.