fix doc tests in sql