paxos: fixed some bugs, but others remain