Synchronizer: Correct a bug in the handling of the timestamp