diff --git a/thys/ROOT b/thys/ROOT
--- a/thys/ROOT
+++ b/thys/ROOT
@@ -1,4 +1,4 @@
-chapter_definition AFP
+chapter_definition AFP (AFP)
   description "
     Archive of Formal Proofs
   "