diff --git a/collects/typed-racket/utils/require-contract.rkt b/collects/typed-racket/utils/require-contract.rkt
index e39a261e..d3baf9b0 100644
--- a/collects/typed-racket/utils/require-contract.rkt
+++ b/collects/typed-racket/utils/require-contract.rkt
@@ -15,8 +15,8 @@
                                               'expression
                                               null #;(list #'define-values))
        (begin define-values)
-       [(begin (define-values (n) e) e*)
-        #`(begin (define-values (n) e)
+       [(begin (define-values (n) e) ... e*)
+        #`(begin (define-values (n) e) ...
                  (define name #,(syntax-property #'e*
                                                  'inferred-name
                                                  (syntax-e #'name))))]