diff --git a/collects/unstable/contract.rkt b/collects/unstable/contract.rkt
index f0ab0e5086..29a68c55e5 100644
--- a/collects/unstable/contract.rkt
+++ b/collects/unstable/contract.rkt
@@ -225,8 +225,8 @@
                  (lambda (idx) idx)
                  #f
                  (lambda (idx) (more?))
-                 (lambda (elem) #t)
-                 (lambda (idx elem) #t)))))))
+                 (lambda elems #t)
+                 (lambda (idx . elems) #t)))))))
      sequence?)))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;