Text this: Amending section 4 of the Pay Readjustment Act of 1942, as amended.