diff --git a/collects/typed-racket/scribblings/reference/types.scrbl b/collects/typed-racket/scribblings/reference/types.scrbl
index 293944c789..960fed1404 100644
--- a/collects/typed-racket/scribblings/reference/types.scrbl
+++ b/collects/typed-racket/scribblings/reference/types.scrbl
@@ -293,6 +293,8 @@ corresponding to @racket[trest], where @racket[bound]
 
 @ex[
 (list 'a 'b 'c)
+(plambda: (a ...) ([sym : Symbol] boxes : (Boxof a) ... a)
+  (ann (cons sym boxes) (List Symbol (Boxof a) ... a)))
 (map symbol->string (list 'a 'b 'c))
 ]