fixes to sqlpaxos