diff --git a/doc/lispref/searching.texi b/doc/lispref/searching.texi
index d7810580b94..2088f16e47c 100644
--- a/doc/lispref/searching.texi
+++ b/doc/lispref/searching.texi
@@ -1177,13 +1177,13 @@ explicit non-greedy forms above when such matching is required.
 @cindex @code{minimal-match} in rx
 Match @var{rx}, with @code{zero-or-more}, @code{0+},
 @code{one-or-more}, @code{1+}, @code{zero-or-one}, @code{opt} and
-@code{option} using non-greedy matching.
+@code{optional} using non-greedy matching.
 
 @item (maximal-match @var{rx})
 @cindex @code{maximal-match} in rx
 Match @var{rx}, with @code{zero-or-more}, @code{0+},
 @code{one-or-more}, @code{1+}, @code{zero-or-one}, @code{opt} and
-@code{option} using non-greedy matching.  This is the default.
+@code{optional} using non-greedy matching.  This is the default.
 @end table
 
 @subsubheading Matching single characters