diff --git a/src/CwF.lagda.md b/src/CwF.lagda.md
index fc85340..4ec06a0 100644
--- a/src/CwF.lagda.md
+++ b/src/CwF.lagda.md
@@ -1,3 +1,7 @@
-module CwF where
+```
+open import public CwF.Base
 
-open import public CwF.Base
\ No newline at end of file
+module CwF where
+```
+
+This module just re-exports `CwF.Base`.