Fixing paxos