Text this: Amending the Pay Readjustment Act of 1942.