raft: minor cleanup in comments
Merge pull request #1523 from jonboulle/raft_stuff

raft: minor cleanup in comments