more fixes to paxos