diff --git a/collects/compiler/demodularizer/module.rkt b/collects/compiler/demodularizer/module.rkt
index 48253dd7e2..0bf82da22c 100644
--- a/collects/compiler/demodularizer/module.rkt
+++ b/collects/compiler/demodularizer/module.rkt
@@ -24,7 +24,7 @@
                 (list (cons 0 requires))
                 new-forms
                 empty ; syntax-body
-                (list empty empty empty) ; unexported
+                (list) ; unexported
                 max-let-depth
                 (make-toplevel 0 0 #f #f) ; dummy
                 lang-info
diff --git a/collects/compiler/demodularizer/nodep.rkt b/collects/compiler/demodularizer/nodep.rkt
index c37f82ceea..68cc899241 100644
--- a/collects/compiler/demodularizer/nodep.rkt
+++ b/collects/compiler/demodularizer/nodep.rkt
@@ -128,7 +128,7 @@
              (append (requires->modlist requires phase)
                      (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 syntax-bodies empty
+                                (list (make-mod name srcname self-modidx new-prefix provides requires body empty
                                                 unexported max-let-depth dummy lang-info internal-context)))
                          (begin (log-debug (format "[~S] Dropping module @ ~S" name phase))
                                 empty))))]