diff --git a/racket/collects/racket/contract/private/orc.rkt b/racket/collects/racket/contract/private/orc.rkt
index f5376a3dba..17295dea4b 100644
--- a/racket/collects/racket/contract/private/orc.rkt
+++ b/racket/collects/racket/contract/private/orc.rkt
@@ -158,7 +158,8 @@
                 option env
                 (λ () 
                   (loop (cdr options))))]
-              [else (option)])])))]))
+              [else (option)])])))]
+    [else #f]))
 
 (define-struct single-or/c (name pred flat-ctcs ho-ctc)
   #:property prop:orc-contract