synchronizers minor improvements