diff --git a/collects/unstable/contract.rkt b/collects/unstable/contract.rkt
index 81f6a7f1c0..aa307d65cd 100644
--- a/collects/unstable/contract.rkt
+++ b/collects/unstable/contract.rkt
@@ -198,7 +198,7 @@
  [if/c (-> procedure? contract? contract? contract?)]
  [failure-result/c contract?]
  [rename-contract (-> contract? any/c contract?)]
- [option/c (-> contract? contract?)]
+ [rename option/c maybe/c (-> contract? contract?)]
 
  [truth/c flat-contract?]