Unless they made the typo.
We are talking about gubmint employees, so they probably did.
What are we talking about?