diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
index 37f76198..f50396af 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
@@ -519,7 +519,7 @@
     [(tc-result1: _ _ _) t]
     [_ (tc-error/expr
           #:stx form
-          #:return (or expected (ret (Un)))
+          #:return (ret (Un))
      "expected single value, got multiple (or zero) values")]))
 
 ;; type-check a body of exprs, producing the type of the last one.
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 1d1fd75e..052f9d3b 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -2613,6 +2613,10 @@
          #:ret (ret (list -Symbol) (list -top-filter ) (list -empty-obj) Univ 'B)
          #:expected (ret (list -Symbol) (list -no-filter ) (list -no-obj) Univ 'B)]
 
+       [tc-err (values (values 'x 'y))
+         #:ret (ret (-val 'x))
+         #:expected (ret (-val 'x) -no-filter -no-obj)]
+
         )
   (test-suite
    "tc-literal tests"