diff --git a/compiler-lib/compiler/decompile.rkt b/compiler-lib/compiler/decompile.rkt
index d410854ee8..7858c917ca 100644
--- a/compiler-lib/compiler/decompile.rkt
+++ b/compiler-lib/compiler/decompile.rkt
@@ -188,6 +188,11 @@
                   [(stack) (append '(#%modvars) orig-stack)]
                   [(closed) (make-hasheq)])
        `(,mod-name ,(if (symbol? name) name (last name)) ....
+           (quote internal-context 
+                  ,(if (stx? internal-context)
+                       `(#%decode-syntax 
+                         ,(decompile-stx (stx-encoded internal-context) stx-ht))
+                       internal-context))
            ,@(if (null? flags) '() (list `(quote ,flags)))
            ,@(let ([l (apply
                        append