Comment on termToRace() for RAFT.