minor fix to sqlpaxos