diff --git a/pkgs/racket-test/tests/racket/contract/random-generate.rkt b/pkgs/racket-test/tests/racket/contract/random-generate.rkt
index 8d8042dab6..bb8a70a519 100644
--- a/pkgs/racket-test/tests/racket/contract/random-generate.rkt
+++ b/pkgs/racket-test/tests/racket/contract/random-generate.rkt
@@ -412,3 +412,9 @@
   (check-not-exn (λ () (test-contract-generation even-list/c/generate)))
   (check-exercise 2 void? even-list/c)
   (check-exercise 2 void? even-list/c/generate))
+
+(check-false
+ (contract-random-generate
+  (make-chaperone-contract
+   #:late-neg-projection
+   (λ (b) (λ (f v np) v)))))
diff --git a/racket/collects/racket/contract/private/prop.rkt b/racket/collects/racket/contract/private/prop.rkt
index ee2537810e..1305d087dd 100644
--- a/racket/collects/racket/contract/private/prop.rkt
+++ b/racket/collects/racket/contract/private/prop.rkt
@@ -298,7 +298,7 @@
          #:late-neg-projection [get-late-neg-projection #f]
          #:stronger [stronger #f]
          #:equivalent [equivalent #f]
-         #:generate [generate (λ (ctc) (λ (fuel) #f))]
+         #:generate [generate (λ (ctc) (λ () #f))]
          #:exercise [exercise (λ (ctc) (λ (fuel) (values void '())))]
          #:list-contract? [list-contract? (λ (c) #f)])
   (unless (or get-first-order
@@ -476,7 +476,7 @@
          #:late-neg-projection [late-neg-projection #f]
          #:stronger [stronger #f]
          #:equivalent [equivalent #f]
-         #:generate [generate (λ (ctc) (λ (fuel) #f))]
+         #:generate [generate (λ (ctc) (λ () #f))]
          #:exercise [exercise (λ (ctc) (λ (fuel) (values void '())))]
          #:list-contract? [list-contract? #f])