diff --git a/doc_src/cmds/history.rst b/doc_src/cmds/history.rst
index c3edb6226..f93e911d5 100644
--- a/doc_src/cmds/history.rst
+++ b/doc_src/cmds/history.rst
@@ -8,7 +8,7 @@ Synopsis
 
 ::
 
-    history search [ --show-time ] [ --case-sensitive ] [ --exact | --prefix | --contains ] [ --max=n ] [ --null ] [ -R | --reverse ] [ "search string"... ]
+    history [ search ] [ --show-time ] [ --case-sensitive ] [ --exact | --prefix | --contains ] [ --max=n ] [ --null ] [ -R | --reverse ] [ "search string"... ]
     history delete [ --show-time ] [ --case-sensitive ] [ --exact | --prefix | --contains ] "search string"...
     history merge
     history save