Added synchronization statements