diff --git a/src/Pure.lagda b/src/Pure.lagda
index 23e3eb8f..e02cdb7d 100644
--- a/src/Pure.lagda
+++ b/src/Pure.lagda
@@ -1,7 +1,7 @@
 ---
 title     : "Pure: Pure Type Systems"
 layout    : page
-permalink : /Untyped
+permalink : /Pure
 ---
 
 Barendregt, H. (1991). Introduction to generalized type