src/Pure/Admin/build_status.scala

           (if (ml_statistics) List(Build_Log.Data.ml_statistics) else Nil)
 
         val Threads_Option = """threads\s*=\s*(\d+)""".r
 
         val sql = profile.select(options, columns, only_sessions)
-        if (verbose) progress.echo(sql)
+        progress.echo_if(verbose, sql)
 
         db.using_statement(sql)(stmt =>
         {
           val res = stmt.execute_query()
           while (res.next()) {