comma after "synchronized"