WASHINGTON (CBSDC/AP) — Former D.C. Councilman Harry Thomas Jr. will have to repay the city $353,500.

A federal court judge specified the amount in an opinion Thursday. The judge said that because lawyers for the government and Thomas agreed to $353,500, that was the amount that he should owe. The judge decided not to require Thomas to repay another $90,000 that was diverted at Thomas’ direction from a city drug program to pay for a 2009 inaugural ball.

Thomas resigned his council seat after charges were filed. Kenyan McDuffie, who won a special election to succeed Thomas as the Ward 5 representative on the council, was sworn into office on Wednesday.

Thomas was sentenced in May to serve more than three years in prison.

D.C. Attorney General Irvin Nathan said in a statement that he regretted that that Thomas was not ordered to pay more but was pleased Thomas will have to provide “substantial restitution.”

(TM and Copyright 2012 CBS Radio Inc. and its relevant subsidiaries. CBS RADIO and EYE Logo TM and Copyright 2012 CBS Broadcasting Inc. Used under license. All Rights Reserved. This material may not be published, broadcast, rewritten, or redistributed. The Associated Press contributed to this report.)