diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt
index 7369c892..6ebd11e7 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt
@@ -17,7 +17,7 @@
     [(Values: (list (Result: ts _ _) ...)) (ret ts)]
     [(ValuesDots: (list (Result: ts _ _) ...) dty dbound)
      (ret ts
-          (for/list ([t (in-list ts)]) -no-obj)
+          (for/list ([t (in-list ts)]) -top-filter)
           (for/list ([t (in-list ts)]) -empty-obj)
           dty dbound)]
     [_ (int-err "do-ret fails: ~a" t)]))
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 37c9b870..0fe47953 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
@@ -299,7 +299,7 @@
     (-object #:method ((m (-> -Nat))) #:augment ((m (-> -Nat))))]
    [(-object #:method ((m (-> -Nat)) (n (-> -Nat))))
     (-object #:method ((m (-> -Nat))))]
-   [(-object #:method ((f -Nat)) #:augment ((m (-> -Nat)) (n (-> -Nat))))
+   [(-object #:method ((f (-> -Nat))) #:augment ((m (-> -Nat)) (n (-> -Nat))))
     (-object #:method ((m (-> -Nat))))]
    [(-object #:field ((a -Nat)) #:method ((m (-> -Nat)) (n (-> -Nat))))
     (-object #:method ((m (-> -Nat))))]
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-printer-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-printer-tests.rkt
index 379f4525..4f6444e1 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-printer-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-printer-tests.rkt
@@ -59,9 +59,9 @@
     (check-prints-as? (-pair -String -Void) "(Pairof String Void)")
     (check-prints-as? (make-ListDots -Boolean 'x) "(List Boolean ... x)")
     (check-prints-as? (make-F 'X) "X")
-    (check-prints-as? (make-Values (list -String -Symbol))
+    (check-prints-as? (make-Values (list (-result -String) (-result -Symbol)))
                       "(values String Symbol)")
-    (check-prints-as? (make-ValuesDots (list -String -Symbol) (make-F 'x) 'x)
+    (check-prints-as? (make-ValuesDots (list (-result -String) (-result -Symbol)) (make-F 'x) 'x)
                       "(values String Symbol x ... x)")
     (check-prints-as? (-polydots (a b) (->... (list a) (b b) a))
                       "(All (a b ...) (-> a b ... b a))")
@@ -72,7 +72,7 @@
                                                          (-result -String -true-filter))))
                       "(-> Input-Port (values (String : (Top | Bot)) (String : (Top | Bot))))")
     (check-prints-as? (-> Univ (make-Values (list (-result -String -top-filter -empty-obj)
-                                                  (-result -String -no-filter -no-obj))))
+                                                  (-result -String -top-filter -empty-obj))))
                       "(-> Any (values String String))")
     ;; this case tests that the Number union is printed with its name
     ;; rather than its expansion (a former bug)