diff --git a/UPF/ROOT b/UPF/ROOT
index 78db805..c1c3e30 100644
--- a/UPF/ROOT
+++ b/UPF/ROOT
@@ -1,6 +1,6 @@
 chapter AFP
 
-session "UPF" (AFP) = HOL +
+session "UPF-devel" (AFP) = HOL +
   description {* The Unified Policy Framework (UPF) *}
   options [timeout = 300]
   theories