diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss
index e03ffa73..898796f6 100644
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@@ -478,6 +478,9 @@
      
      [exit (-> (Un))]
      
+     [module->namespace (-> -Sexp -Namespace)]
+     [current-namespace (-Param -Namespace -Namespace)]
+     
      ;; syntax operations
      
      [expand (-> (-Syntax Univ) (-Syntax Univ))]
diff --git a/collects/typed-scheme/typed-scheme.ss b/collects/typed-scheme/typed-scheme.ss
index 77d688f7..da552fea 100644
--- a/collects/typed-scheme/typed-scheme.ss
+++ b/collects/typed-scheme/typed-scheme.ss
@@ -118,6 +118,7 @@
               (free-identifier=? #'head #'require)
               (free-identifier=? #'head #'provide)
               (free-identifier=? #'head #'begin)
+              (void? type)
               (type-equal? -Void (tc-result-t type)))
           body2]
          ;; construct code to print the type