Unchecked commit.
Fix some bugs in Paxos.