diff --git a/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl
index e2176226..d8193561 100644
--- a/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl
+++ b/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl
@@ -740,7 +740,7 @@ functions and continuation mark functions.
 @defform*[[(All (a ...) t)
            (All (a ... a ooo) t)]]{
   is a parameterization of type @racket[t], with
-  type variables @racket[v ...].  If @racket[t] is a function type
+  type variables @racket[a ...].  If @racket[t] is a function type
       constructed with infix @racket[->], the outer pair of parentheses
       around the function type may be omitted.
       @ex[(: list-length : (All (A) (Listof A) -> Natural))