diff --git a/collects/typed-scheme/private/type-utils.ss b/collects/typed-scheme/private/type-utils.ss
index d74c89e0cb..8cc09a8be7 100644
--- a/collects/typed-scheme/private/type-utils.ss
+++ b/collects/typed-scheme/private/type-utils.ss
@@ -19,7 +19,8 @@
          ret
          instantiate-poly
          instantiate-poly-dotted
-         tc-result: 
+         tc-result:
+         tc-result?
          tc-result-equal? 
          effects-equal?
          tc-result-t