CSRS Offset and Social Security Deductions

My husband’s personnel office just found out that he should have been in CSRS Offset after 21 years of coming from the DC Government. After his maximum SS tax was reached, his personnel office stopped the SS deduction. In the past, after the maximum was reached he has received the SS contribution in his paycheck. Was this done correctly?