mysterious paxos problem