fix regression in Synchronizers