fixes synchronization counters inconsistence