diff --git a/hs/agda-count.hs b/hs/agda-count.hs
index ea62b5c3..b7355cd3 100644
--- a/hs/agda-count.hs
+++ b/hs/agda-count.hs
@@ -33,6 +33,9 @@ agda =  count (prefix begin) (prefix end) . lines
   begin  =  "\\begin{code}"
   end    =  "\\end{code}"
 
+nonblank :: String -> Bool
+nonblank =  not . all (== ' ')
+
 wc :: String -> Int
 wc =  length . lines
 
diff --git a/tspl/Assignment4.lagda b/tspl/Assignment4.lagda
index 8d044a27..9b83328f 100644
--- a/tspl/Assignment4.lagda
+++ b/tspl/Assignment4.lagda
@@ -52,7 +52,7 @@ open import Relation.Nullary using (¬_; Dec; yes; no)
 
 
 \begin{code}
-module More where
+module DeBruijn where
 \end{code}
 
 Remember to indent all code by two spaces.