fixes to paxos