diff --git a/collects/typed-scheme/typed-scheme.rkt b/collects/typed-scheme/typed-scheme.rkt
index 2f7a915456..9dc546c1ec 100644
--- a/collects/typed-scheme/typed-scheme.rkt
+++ b/collects/typed-scheme/typed-scheme.rkt
@@ -1,6 +1,9 @@
 #lang racket/base
 
-(require (for-syntax racket/base "typecheck/renamer.rkt")         
+(require (for-syntax racket/base 
+                     ;; these requires are needed since their code
+                     ;; appears in the residual program
+                     "typecheck/renamer.rkt" "types/type-table.rkt")         
          "private/base-special-env.rkt")
 
 (begin-for-syntax )
diff --git a/collects/typed-scheme/types/type-table.rkt b/collects/typed-scheme/types/type-table.rkt
index f07efd595c..2e1c78961c 100644
--- a/collects/typed-scheme/types/type-table.rkt
+++ b/collects/typed-scheme/types/type-table.rkt
@@ -1,8 +1,11 @@
 #lang racket/base
 
-(require unstable/debug racket/contract "../utils/utils.rkt" syntax/id-table racket/dict racket/match
-         (rep type-rep object-rep) (only-in (types abbrev utils) tc-results?) (utils tc-utils)
-         (env init-envs) mzlib/pconvert)
+(require racket/contract syntax/id-table racket/dict racket/match mzlib/pconvert
+         "../utils/utils.rkt"
+         (rep type-rep object-rep)
+         (only-in (types utils) tc-results?)
+         (utils tc-utils)
+         (env init-envs))
 
 (define table (make-hasheq))