Fix Paxos oracle with nack