A few basic edits

There were some typos and I'm suggesting a different way of characterizing Paxos, Zab, Raft.