minor tweaks to Synchonized code for gcc compat