diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/substitute.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/substitute.rkt
index c0040a98..820bc08d 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/substitute.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/substitute.rkt
@@ -67,13 +67,13 @@
                                      (map sb kws))])]
                  [#:ValuesDots types dty dbound
                                (cond
-                                 [(ormap (lambda (x) (and (equal? dbound x) (not bound-tvar? x))) names) =>
+                                 [(ormap (lambda (x) (and (equal? dbound x) (not (bound-tvar? x)))) names) =>
                                   (lambda (name)
                                     (int-err "substitute used on ... variable ~a in type ~a" name target))]
                                  [else (make-ValuesDots (map sb types) (sb dty) dbound)])]
                  [#:ListDots dty dbound
                              (cond
-                               [(ormap (lambda (x) (and (equal? dbound x) (not bound-tvar? x))) names) =>
+                               [(ormap (lambda (x) (and (equal? dbound x) (not (bound-tvar? x)))) names) =>
                                 (lambda (name)
                                   (int-err "substitute used on ... variable ~a in type ~a" name target))]
                                [else (make-ListDots (sb dty) dbound)])])