Paxos fixes