diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt
index 32de3f63..95cb837b 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt
@@ -20,8 +20,7 @@
    [cond-contracted check-subforms/with-handlers/check (syntax? tc-results/c . -> . any)]))
 
 (define-signature check-class^
-  ;; FIXME: make sure this is correct
-  ([cond-contracted check-class (syntax? Type/c . -> . any)]))
+  ([cond-contracted check-class (syntax? (or/c tc-results/c #f) . -> . any)]))
 
 (define-signature tc-if^
   ([cond-contracted tc/if-twoarm ((syntax? syntax? syntax?) (tc-results/c) . ->* . tc-results/c)]))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/utils.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/utils.rkt
index bb7f7716..875f035a 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/utils.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/utils.rkt
@@ -113,7 +113,8 @@
 
 (provide/cond-contract
  [unfold (Mu? . -> . Type/c)]
- [instantiate-poly ((or/c Poly? PolyDots?) (listof Type/c) . -> . Type/c)]
+ [instantiate-poly ((or/c Poly? PolyDots? PolyRow?) (listof Type/c)
+                    . -> . Type/c)]
  [instantiate-poly-dotted
   (PolyDots? (listof Type/c) Type/c symbol? . -> . Type/c)] 
  [fv (Rep? . -> . (listof symbol?))]