diff --git a/collects/typed-scheme/infer/infer-unit.rkt b/collects/typed-scheme/infer/infer-unit.rkt
index 07bdec74..165bcdc3 100644
--- a/collects/typed-scheme/infer/infer-unit.rkt
+++ b/collects/typed-scheme/infer/infer-unit.rkt
@@ -511,4 +511,4 @@
 (define (i s t r)
   (infer/simple (list s) (list t) r))
 
-;(trace cgen cgen/arr)
+;(trace cgen)
diff --git a/collects/typed-scheme/private/parse-type.rkt b/collects/typed-scheme/private/parse-type.rkt
index 882e165a..14937262 100644
--- a/collects/typed-scheme/private/parse-type.rkt
+++ b/collects/typed-scheme/private/parse-type.rkt
@@ -7,7 +7,7 @@
          syntax/stx (prefix-in c: scheme/contract)
          syntax/parse
          (env type-environments type-name-env type-alias-env lexical-env)         
-         scheme/match 
+         scheme/match unstable/debug
          (for-template scheme/base "colon.ss")
          ;; needed at this phase for tests
          (combine-in (prefix-in t: "base-types-extra.ss") "colon.ss")
diff --git a/collects/typed-scheme/typecheck/tc-structs.rkt b/collects/typed-scheme/typecheck/tc-structs.rkt
index c1df4b35..a6cc8330 100644
--- a/collects/typed-scheme/typecheck/tc-structs.rkt
+++ b/collects/typed-scheme/typecheck/tc-structs.rkt
@@ -9,7 +9,8 @@
          "def-binding.rkt"
          syntax/kerncase
          syntax/struct
-         mzlib/trace         
+         mzlib/trace      
+         unstable/debug
          scheme/match
          (for-syntax scheme/base))