diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl
index 5e175b169c..b923fdd5bb 100644
--- a/collects/scribblings/reference/contracts.scrbl
+++ b/collects/scribblings/reference/contracts.scrbl
@@ -796,7 +796,7 @@ For example, the contract
                         (lambda (p) 
                           (procedure-arity-includes? p size)))])
           ()
-          number?)]))
+          [_ number?])]))
 ]
 
 says that the function @racket[f] accepts a natural number