Corrections to sql-test