Fix synchronizer specs