paxos fixes