diff --git a/collects/compiler/demodularizer/module.rkt b/collects/compiler/demodularizer/module.rkt
index 0bf82da22c..9c907a5153 100644
--- a/collects/compiler/demodularizer/module.rkt
+++ b/collects/compiler/demodularizer/module.rkt
@@ -28,7 +28,9 @@
                 max-let-depth
                 (make-toplevel 0 0 #f #f) ; dummy
                 lang-info
-                #t))]))
+                #t
+                empty
+                empty))]))
 
 (provide/contract
  [wrap-in-kernel-module (symbol? symbol? lang-info/c module-path-index? compilation-top? . -> . compilation-top?)])
diff --git a/collects/compiler/demodularizer/nodep.rkt b/collects/compiler/demodularizer/nodep.rkt
index 3c0ca87a25..cb717a1a2c 100644
--- a/collects/compiler/demodularizer/nodep.rkt
+++ b/collects/compiler/demodularizer/nodep.rkt
@@ -130,7 +130,8 @@
                      (if (and phase (zero? phase))
                          (begin (log-debug (format "[~S] lang-info : ~S" name lang-info)) ; XXX Seems to always be #f now
                                 (list (make-mod name srcname self-modidx new-prefix provides requires body empty
-                                                unexported max-let-depth dummy lang-info internal-context)))
+                                                unexported max-let-depth dummy lang-info internal-context
+                                                empty empty)))
                          (begin (log-debug (format "[~S] Dropping module @ ~S" name phase))
                                 empty))))]              
     [else (error 'nodep-module "huh?: ~e" mod-form)]))