diff --git a/Test/Catalog.lean b/Test/Environment.lean
similarity index 88%
rename from Test/Catalog.lean
rename to Test/Environment.lean
index 43becdc..3bd8448 100644
--- a/Test/Catalog.lean
+++ b/Test/Environment.lean
@@ -2,7 +2,7 @@ import LSpec
 import Pantograph.Serial
 import Pantograph.Environment
 
-namespace Pantograph.Test.Catalog
+namespace Pantograph.Test.Environment
 
 open Pantograph
 open Lean
@@ -24,7 +24,7 @@ def suite: IO LSpec.TestSeq := do
     (opts := {})
     (trustLevel := 1)
 
-  return LSpec.group "Catalog" $
+  return LSpec.group "Environment" $
     (LSpec.group "Symbol visibility" (← test_symbol_visibility env))
 
-end Pantograph.Test.Catalog
+end Pantograph.Test.Environment
diff --git a/Test/Main.lean b/Test/Main.lean
index 5178e85..4a8ab1f 100644
--- a/Test/Main.lean
+++ b/Test/Main.lean
@@ -1,5 +1,5 @@
 import LSpec
-import Test.Catalog
+import Test.Environment
 import Test.Holes
 import Test.Integration
 import Test.Proofs
@@ -15,7 +15,7 @@ def main := do
     Integration.suite,
     Proofs.suite,
     Serial.suite,
-    Catalog.suite
+    Environment.suite
   ]
   let all ← suites.foldlM (λ acc m => do pure $ acc ++ (← m)) LSpec.TestSeq.done
   LSpec.lspecIO $ all