diff --git a/UPF_Firewall/ROOT b/UPF_Firewall/ROOT
index 4dc6ffa..6416d72 100644
--- a/UPF_Firewall/ROOT
+++ b/UPF_Firewall/ROOT
@@ -1,6 +1,8 @@
-session "UPF-Firewall" (AFP) = UPF +
+chapter AFP
+
+session "UPF_Firewall" (AFP) = UPF +
   description {* Formal Network Models and Their Application to Firewall Policies *}
-  options [timeout=600, document=pdf, document_output=document_generated, document_variants="document:outline=/proof,/ML"]
+  options [timeout=600]
   theories
     "Examples/Examples"
   document_files