Fix compile error.
Implement multi-paxos.