diff --git a/thys/Ceva/ROOT b/thys/Ceva/ROOT
--- a/thys/Ceva/ROOT
+++ b/thys/Ceva/ROOT
@@ -1,10 +1,10 @@
 chapter AFP
 
-session Ceva (AFP) = "HOL-Analysis" +
+session Ceva = "HOL-Analysis" +
   options [timeout = 300]
   sessions
     Triangle
   theories
     Ceva
   document_files
     "root.tex"
diff --git a/thys/Fixed_Length_Vector/ROOT b/thys/Fixed_Length_Vector/ROOT
--- a/thys/Fixed_Length_Vector/ROOT
+++ b/thys/Fixed_Length_Vector/ROOT
@@ -1,10 +1,10 @@
 chapter AFP
 
-session Fixed_Length_Vector (AFP) = HOL +
+session Fixed_Length_Vector = HOL +
   options [timeout = 600]
   sessions
     "HOL-Library"
   theories
     Fixed_Length_Vector
   document_files
     "root.tex"