diff --git a/crates/ailang-check/src/lib.rs b/crates/ailang-check/src/lib.rs
index 62b33b1..3c4b70c 100644
--- a/crates/ailang-check/src/lib.rs
+++ b/crates/ailang-check/src/lib.rs
@@ -1218,17 +1218,12 @@ fn check_in_workspace(
         }
     }
 
-    // Per-module overlay for `globals`: `build_check_env` installed
-    // builtins operators workspace-flat; here we add this module's
-    // top-level fns from the previously built table.
     if let Some(g) = module_globals.get(&m.name) {
         for (n, t) in &g.fns {
             env.globals.insert(n.clone(), t.clone());
         }
     }
 
-    // Per-module overlay for `imports`: alias-or-name -> module-name
-    // map for THIS module's import list.
     let mut import_map: BTreeMap<String, String> = BTreeMap::new();
     for imp in &m.imports {
         let key = imp.alias.clone().unwrap_or_else(|| imp.module.clone());