small changes in synchronization example