diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl
index e9cd7889..f500ee1b 100644
--- a/collects/typed-scheme/scribblings/ts-reference.scrbl
+++ b/collects/typed-scheme/scribblings/ts-reference.scrbl
@@ -354,7 +354,7 @@ The @scheme[id]s are assumed to
 have the types ascribed to them; these types are converted to contracts and checked dynamically.
 
 @examples[#:eval the-eval
-(with-type Number 3)
+(with-type #:result Number 3)
 
 ((with-type #:result (Number -> Number)
    (lambda: ([x : Number]) (add1 x)))