diff --git a/parser-tools-doc/parser-tools/parser-tools.scrbl b/parser-tools-doc/parser-tools/parser-tools.scrbl
index 9bc5ef5..ba4dae2 100644
--- a/parser-tools-doc/parser-tools/parser-tools.scrbl
+++ b/parser-tools-doc/parser-tools/parser-tools.scrbl
@@ -446,8 +446,8 @@ The same as @racket[(complement re ...)].})))
 Each @racket[_action-expr] in a @racket[lexer] form can produce any
 kind of value, but for many purposes, producing a @deftech{token}
 value is useful. Tokens are usually necessary for inter-operating with
-a parser generated by @racket[parser-tools/parser], but tokens not be
-the right choice when using @racket[lexer] in other situations.
+a parser generated by @racket[parser-tools/parser], but tokens may not
+be the right choice when using @racket[lexer] in other situations.
 
 @defform[(define-tokens group-id (token-id ...))]{