diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.ss
index 16b46e15b1..8bc3de2ead 100644
--- a/collects/typed-scheme/private/type-contract.ss
+++ b/collects/typed-scheme/private/type-contract.ss
@@ -95,7 +95,7 @@
                           [_ #`(values #,@rngs*)])]
                   [rst* rst])
                (if rst
-                   #'(dom* ...  #:rest (listof rst*) . -> . rng*)
+                   #'((dom* ...) () #:rest (listof rst*) . ->* . rng*)
                    #'(dom* ...  . -> . rng*))))
 	   (match (map f arrs)
 	     [(list e) e]