diff --git a/src/Cryptol/ModuleSystem/Renamer.hs b/src/Cryptol/ModuleSystem/Renamer.hs
index d54e0bd5..abaaffc1 100644
--- a/src/Cryptol/ModuleSystem/Renamer.hs
+++ b/src/Cryptol/ModuleSystem/Renamer.hs
@@ -264,7 +264,9 @@ renameModule' mname m =
               module.  This is used when the module is loaded at the command
               line and users want to evalute things in the context of the
               module -}
-              fuEnv <- lookupDefines (thing f')
+              fuEnv <- if isFakeName (thing f')
+                          then pure mempty
+                          else lookupDefines (thing f')
               let ren x = Map.findWithDefault x x imap
 
               -- XXX: This is not quite right as it only considers the things