diff --git a/UPF_Firewall/ROOT b/UPF_Firewall/ROOT
index 293e622..d5e9353 100644
--- a/UPF_Firewall/ROOT
+++ b/UPF_Firewall/ROOT
@@ -1,6 +1,6 @@
 chapter AFP
 
-session "UPF_Firewall" (AFP) = UPF +
+session "UPF_Firewall-devel" (AFP) = UPF +
   description {* Formal Network Models and Their Application to Firewall Policies *}
   options [timeout = 600]
   theories