hsql fix