diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt
index e8087298..8cbb3da4 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt
@@ -118,11 +118,11 @@
 
    [(-values (list -Number)) (-values (list Univ))]
 
-   [(-poly (b) ((Un (make-Base 'foo #'dummy values #'values #f)
+   [(-poly (b) ((Un (make-Base 'foo #'dummy values #f)
                     (-struct #'bar #f
                              (list (make-fld -Number #'values #f) (make-fld b #'values #f))))
                 . -> . (-lst b)))
-    ((Un (make-Base 'foo #'dummy values #'values #f) (-struct #'bar #f (list (make-fld -Number #'values #f) (make-fld (-pair -Number (-v a)) #'values #f))))
+    ((Un (make-Base 'foo #'dummy values #f) (-struct #'bar #f (list (make-fld -Number #'values #f) (make-fld (-pair -Number (-v a)) #'values #f))))
      . -> . (-lst (-pair -Number (-v a))))]
    [(-poly (b) ((-struct #'bar #f (list (make-fld -Number #'values #f) (make-fld b #'values #f))) . -> . (-lst b)))
     ((-struct #'bar #f (list (make-fld -Number #'values #f) (make-fld (-pair -Number (-v a)) #'values #f))) . -> . (-lst (-pair -Number (-v a))))]
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt
index 85ec5738..a6ed3228 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt
@@ -7,7 +7,7 @@
 
 (provide type-equal-tests)
 
-(define (-base x) (make-Base x #'dummy values #'values #f))
+(define (-base x) (make-Base x #'dummy values #f))
 
 
 (define-syntax (te-tests stx)