diff --git a/src/Scoped.lagda b/src/Scoped.lagda
index 8395ffdc..5b02eaa9 100644
--- a/src/Scoped.lagda
+++ b/src/Scoped.lagda
@@ -7,7 +7,7 @@ permalink : /Scoped
 ## Imports
 
 \begin{code}
-module Typed where
+module Scoped where
 \end{code}
 
 \begin{code}