Fix some random Paxos bugs.