diff --git a/collects/typed-scheme/typecheck/check-below.rkt b/collects/typed-scheme/typecheck/check-below.rkt
index 9f06b138..1a6d0fce 100644
--- a/collects/typed-scheme/typecheck/check-below.rkt
+++ b/collects/typed-scheme/typecheck/check-below.rkt
@@ -12,7 +12,7 @@
          (only-in srfi/1 split-at))
 
 (p/c
- [check-below (->d ([s (or/c Type/c tc-results?)] [t (or/c Type/c tc-results?)]) () [_ (if (Type? s) Type/c tc-results?)])])
+ [check-below (-->d ([s (-or/c Type/c tc-results?)] [t (-or/c Type/c tc-results?)]) () [_ (if (Type? s) Type/c tc-results?)])])
 
 (define (print-object o)
   (match o
diff --git a/collects/typed-scheme/typecheck/tc-funapp.rkt b/collects/typed-scheme/typecheck/tc-funapp.rkt
index 63f12298..f4403c78 100644
--- a/collects/typed-scheme/typecheck/tc-funapp.rkt
+++ b/collects/typed-scheme/typecheck/tc-funapp.rkt
@@ -43,7 +43,7 @@
              (poly-fail t argtys #:name (and (identifier? f-stx) f-stx) #:expected expected))))]))
 
 (d/c (tc/funapp f-stx args-stx ftype0 argtys expected)
-  (syntax? syntax? tc-results? (listof tc-results?) (or/c #f tc-results?) . -> . tc-results?)
+  (syntax? syntax? tc-results? (c:listof tc-results?) (c:or/c #f tc-results?) . c:-> . tc-results?)
   (match* (ftype0 argtys)
     ;; we special-case this (no case-lambda) for improved error messages
     [((tc-result1: (and t (Function: (list (and a (arr: dom (Values: _) rest #f kws)))))) argtys)