fixing old paxos again