diff --git a/compiler-lib/compiler/demodularizer/gc-toplevels.rkt b/compiler-lib/compiler/demodularizer/gc-toplevels.rkt
index a32f3857f1..ccdebc57ff 100644
--- a/compiler-lib/compiler/demodularizer/gc-toplevels.rkt
+++ b/compiler-lib/compiler/demodularizer/gc-toplevels.rkt
@@ -124,6 +124,9 @@
       [(struct with-cont-mark (key val body))
        (for-each (lambda (f) (build-graph! lhs f))
                  (list key val body))]
+      [(struct with-immed-mark (key val body))
+       (for-each (lambda (f) (build-graph! lhs f))
+                 (list key val body))]
       [(struct beg0 (seq))
        (for-each (lambda (f) (build-graph! lhs f))
                  seq)]
diff --git a/compiler-lib/compiler/demodularizer/module.rkt b/compiler-lib/compiler/demodularizer/module.rkt
index f33b675008..6c7a3bc9c6 100644
--- a/compiler-lib/compiler/demodularizer/module.rkt
+++ b/compiler-lib/compiler/demodularizer/module.rkt
@@ -20,7 +20,7 @@
        (map (compose ->module-path-index stx-obj-datum stx-content req-reqs) reqs))
      (make-compilation-top 
       0
-      (make-prefix 0 (list #f) empty)
+      (make-prefix 0 (list #f) empty (prefix-src-inspector-desc prefix))
       (make-mod name srcname
                 self-modidx
                 prefix
@@ -33,6 +33,7 @@
                 (make-toplevel 0 0 #f #f) ; dummy
                 lang-info
                 #t
+                (hash) ; no names visible via `module->namespace`
                 empty
                 empty
                 empty))]))
diff --git a/compiler-lib/compiler/demodularizer/update-toplevels.rkt b/compiler-lib/compiler/demodularizer/update-toplevels.rkt
index c1701d5412..c122511649 100644
--- a/compiler-lib/compiler/demodularizer/update-toplevels.rkt
+++ b/compiler-lib/compiler/demodularizer/update-toplevels.rkt
@@ -71,6 +71,11 @@
         (update key)
         (update val)
         (update body))]
+      [(struct with-immed-mark (key val body))
+       (make-with-immed-mark 
+        (update key)
+        (update val)
+        (update body))]
       [(struct beg0 (seq))
        (make-beg0 (map update seq))]
       [(struct varref (tl dummy))