src/Pure/ML/ml_profiling.scala

     def total: Entry = Entry("TOTAL", entries.iterator.map(_.count).sum)
 
     def print: String =
     {
       (if (kind == "time_thread") "time profile (single thread)" else kind + " profile") +
-        (entries ::: List(total)).map(_.print).mkString(":\n", "\n", "\n")
+        (entries ::: List(total)).map(_.print).mkString(":\n", "\n", "")
     }
   }
 
   def account(reports: List[Report]): List[Report] =
   {