diff --git a/cryptol-remote-api/src/CryptolServer/Names.hs b/cryptol-remote-api/src/CryptolServer/Names.hs
index b65e018c..3377fd38 100644
--- a/cryptol-remote-api/src/CryptolServer/Names.hs
+++ b/cryptol-remote-api/src/CryptolServer/Names.hs
@@ -23,7 +23,8 @@ import Cryptol.ModuleSystem.Env (ModContext(..), ModuleEnv(..), DynamicEnv(..),
 import Cryptol.ModuleSystem.Interface (IfaceDecl(..), IfaceDecls(..))
 import Cryptol.ModuleSystem.Name (Name)
 import Cryptol.ModuleSystem.NamingEnv
-                  (NamingEnv, namespaceMap, lookupNS, shadowing, namesToList)
+                  (NamingEnv, namespaceMap, lookupNS, shadowing)
+import Cryptol.ModuleSystem.Names(namesToList)
 import Cryptol.TypeCheck.Type (Schema(..))
 import Cryptol.Utils.PP (pp)
 import Cryptol.Utils.Ident(Namespace(..))