diff --git a/src/Typed.lagda.broken b/src/extra/Typed.lagda
similarity index 100%
rename from src/Typed.lagda.broken
rename to src/extra/Typed.lagda
diff --git a/src/fresh/Collections.lagda b/src/fresh/Collections.lagda
index 9d8a2de2..4185bf5b 100644
--- a/src/fresh/Collections.lagda
+++ b/src/fresh/Collections.lagda
@@ -39,7 +39,7 @@ open import Relation.Nullary.Product using (_×-dec_)
 ## Collections
 
 \begin{code}
-module Collections (A : Set) (_≟_ : ∀ (x y : A) → Dec (x ≡ y)) where
+module fresh.Collections (A : Set) (_≟_ : ∀ (x y : A) → Dec (x ≡ y)) where
 
     Coll : Set → Set
     Coll A  =  List A