Fixing a desynchronization bug.