src/Pure/ML/ml_statistics.scala

     }
 
     override def exit(): Unit = synchronized
     {
       session = null
-      monitoring.cancel
+      monitoring.cancel()
     }
 
     private def consume(props: Properties.T): Unit = synchronized
     {
       if (session != null) {