Questions about durableCommittedVersion

According to the paper, “Each LogServer keeps the maximum KCV received and a Durable Version (DV)”. shouldn’t this line be logData->durableKnownCommittedVersion = std::max(logData->durableKnownCommittedVersion, knownCommittedVersion);