diff --git a/Main.lean b/Main.lean
index 60d597d..33b2e70 100644
--- a/Main.lean
+++ b/Main.lean
@@ -7,7 +7,9 @@ def main (args : List String) : IO Unit := do
   initSearchPath (← findSysroot)
   let (opts, args) := args.partition (fun s => s.startsWith "--" && s.length ≥ 3)
   let (imports, constants) := args.span (· != "--")
-  let imports := imports.toArray.map fun mod => { module := Syntax.decodeNameLit ("`" ++ mod) |>.get! }
+  let imports := imports.toArray.map fun mod => {
+    module := mod.splitOn "." |>.foldl Name.mkStr .anonymous
+  }
   let env ← importModules imports {}
   let constants := match constants.tail? with
     | some cs => cs.map fun c => Syntax.decodeNameLit ("`" ++ c) |>.get!