diff --git a/src/Doc/Demo_Easychair/ROOT b/src/Doc/Demo_Easychair/ROOT
--- a/src/Doc/Demo_Easychair/ROOT
+++ b/src/Doc/Demo_Easychair/ROOT
@@ -1,9 +1,11 @@
+chapter Doc
+
 session Demo_Easychair (doc) = HOL +
   options [document_variants = "demo_easychair"]
   theories
     Document
   document_files (in "$ISABELLE_EASYCHAIR_HOME")
     "easychair.cls"
   document_files
     "root.bib"
     "root.tex"
diff --git a/src/Doc/Demo_FoilTeX/ROOT b/src/Doc/Demo_FoilTeX/ROOT
--- a/src/Doc/Demo_FoilTeX/ROOT
+++ b/src/Doc/Demo_FoilTeX/ROOT
@@ -1,11 +1,13 @@
+chapter Doc
+
 session Demo_FoilTeX (doc) = HOL +
   options [document_variants = "demo_foiltex",
     document_build = "pdflatex", document_logo = "FoilTeX"]
   theories
     Document
   document_files (in "$ISABELLE_FOILTEX_HOME")
     "fltfonts.def"
     "foil20.clo"
     "foils.cls"
   document_files
     "root.tex"
diff --git a/src/Doc/Demo_LIPIcs/ROOT b/src/Doc/Demo_LIPIcs/ROOT
--- a/src/Doc/Demo_LIPIcs/ROOT
+++ b/src/Doc/Demo_LIPIcs/ROOT
@@ -1,12 +1,14 @@
+chapter Doc
+
 session Demo_LIPIcs (doc) = HOL +
   options [document_variants = "demo_lipics",
     document_build = "pdflatex", document_heading_prefix = "", document_comment_latex]
   theories
     Document
   document_files (in "$ISABELLE_LIPICS_HOME")
     "cc-by.pdf"
     "lipics-logo-bw.pdf"
     "lipics-v2021.cls"
   document_files
     "root.bib"
     "root.tex"