Mich. Comp. Laws § 38.2505

Sec. 505. For a member who is a judge and who is receiving a state-paid salary, the salary standardization payment is considered wages for social security reporting purposes to the extent that a judge's state base salary is less than the social security maximum reportable wage for the calendar year. The department shall deduct the judge's employee contribution on the social security maximum reportable wage for the calendar year from the judge's salary paid by this state.