diff --git a/thys/X86_Semantics/ROOT b/thys/X86_Semantics/ROOT
--- a/thys/X86_Semantics/ROOT
+++ b/thys/X86_Semantics/ROOT
@@ -1,17 +1,13 @@
 chapter AFP
 
 session "X86_Semantics" = HOL +
-
   options [timeout = 1800]
   sessions
-      "HOL-Eisbach"
-      Word_Lib
-
+    "HOL-Eisbach"
+    Word_Lib
   theories
     Examples
     Example_WC
-
   document_files
     "root.bib"
     "root.tex"
-