diff --git a/tools/afp_tool.scala b/tools/afp_tool.scala
--- a/tools/afp_tool.scala
+++ b/tools/afp_tool.scala
@@ -1,18 +1,16 @@
 package afp
 
 
 import isabelle._
 
 
 class Admin_Tools extends Isabelle_Scala_Tools(
-  AFP_Component_Hugo.isabelle_tool,
-)
+  AFP_Component_Hugo.isabelle_tool)
 
 class Tools extends Isabelle_Scala_Tools(
   AFP_Site_Gen.isabelle_tool,
   AFP_Check_Roots.isabelle_tool,
   AFP_Check_Metadata.isabelle_tool,
   AFP_Dependencies.isabelle_tool,
   AFP_Release.isabelle_tool,
-  AFP_Submit.isabelle_tool
-)
+  AFP_Submit.isabelle_tool)