diff --git a/compiler-lib/compiler/decompile.rkt b/compiler-lib/compiler/decompile.rkt
index 524ce7a7b1..d048b3b90b 100644
--- a/compiler-lib/compiler/decompile.rkt
+++ b/compiler-lib/compiler/decompile.rkt
@@ -237,8 +237,10 @@
                               (values phase
                                       (for/hash ([(sym id) (in-hash ht)])
                                         (values sym
-                                                `(#%decode-syntax 
-                                                  ,(decompile-stx (stx-encoded id) stx-ht)))))))
+                                                (if (eq? id #t)
+                                                    #t
+                                                    `(#%decode-syntax 
+                                                      ,(decompile-stx (stx-encoded id) stx-ht))))))))
            (quote language-info ,lang-info)
            ,@(if (null? flags) '() (list `(quote ,flags)))
            ,@(let ([l (apply
diff --git a/zo-lib/compiler/zo-structs.rkt b/zo-lib/compiler/zo-structs.rkt
index 7ae356ec28..d6f9e19ff5 100644
--- a/zo-lib/compiler/zo-structs.rkt
+++ b/zo-lib/compiler/zo-structs.rkt
@@ -140,7 +140,7 @@
                                 [lang-info (or/c #f (vector/c module-path? symbol? any/c))]
                                 [internal-context (or/c #f #t stx? (vectorof stx?))]
                                 [binding-names (hash/c exact-integer?
-                                                       (hash/c symbol? stx?))]
+                                                       (hash/c symbol? (or/c #t stx?)))]
                                 [flags (listof (or/c 'cross-phase))]
                                 [pre-submodules (listof mod?)]
                                 [post-submodules (listof mod?)]))