Synchronization debugged