Fix critical bugs in DifferentialSynchronizationStrategy.