diff -r 87027d030fec -r 907b2cad365a src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Mon Feb 27 20:09:58 2023 +0100
+++ b/src/Pure/Admin/build_log.scala	Mon Feb 27 20:25:10 2023 +0100
@@ -1074,7 +1074,7 @@
         if (ml_statistics) {
           val columns = columns1 ::: List(Data.ml_statistics(table2))
           val join =
-            table1.toString + SQL.join_outer + table2 + " ON " +
+            table1.ident + SQL.join_outer + table2.ident + " ON " +
               SQL.and(
                 Data.log_name(table1).ident + " = " + Data.log_name(table2).ident,
                 Data.session_name(table1).ident + " = " + Data.session_name(table2).ident)