diff --git a/Admin/jenkins/build/ci_build_benchmark.scala b/Admin/jenkins/build/ci_build_benchmark.scala
--- a/Admin/jenkins/build/ci_build_benchmark.scala
+++ b/Admin/jenkins/build/ci_build_benchmark.scala
@@ -1,17 +1,16 @@
-object profile extends isabelle.CI_Profile
-{
+object profile extends isabelle.CI_Profile {
 
   import isabelle._
 
   override def documents = false
   override def threads = 6
   override def jobs = 1
   def include = Nil
   def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))
 
   def pre_hook(args: List[String]) = Result.ok
   def post_hook(results: Build.Results) = Result.ok
 
   def selection = Sessions.Selection(session_groups = List("timing"))
 
 }