diff --git a/collects/typed-scheme/typecheck/find-annotation.ss b/collects/typed-scheme/typecheck/find-annotation.ss
index 37ff3576..c4e53b6d 100644
--- a/collects/typed-scheme/typecheck/find-annotation.ss
+++ b/collects/typed-scheme/typecheck/find-annotation.ss
@@ -1,7 +1,7 @@
 #lang scheme/base
 
 (require "../utils/utils.ss" syntax/parse
-         scheme/contract scheme/trace
+         scheme/contract
          (rep type-rep)
          (private type-annotation)
          (for-template scheme/base))
@@ -65,4 +65,5 @@
     [e:core-expr
      (ormap find (syntax->list #'(e.expr ...)))]))
 
-;(trace find-annotation)
\ No newline at end of file
+; (require scheme/trace)
+; (trace find-annotation)