Fixing synchronization bugs