minor synchronization fixes