That 1.7% increase is 1.7% more than most federal workers (barring the DoD) have gotten in the last year.