minor change to sqlpaxos