diff --git a/src/extra/DeBruijn.lagda b/src/DeBruijn.lagda
similarity index 100%
rename from src/extra/DeBruijn.lagda
rename to src/DeBruijn.lagda
diff --git a/src/Naturals.lagda b/src/Naturals.lagda
index 10cb8a54..ad50febc 100644
--- a/src/Naturals.lagda
+++ b/src/Naturals.lagda
@@ -12,6 +12,8 @@ But the number of stars is finite, while natural numbers are infinite.
 Count all the stars, and you will still have as many natural numbers
 left over as you started with.
 
+[This line added to test make]
+
 
 ## The naturals are an inductive datatype