diff --git a/doc_src/cmds/history.rst b/doc_src/cmds/history.rst
index e84277624..5d21de7ab 100644
--- a/doc_src/cmds/history.rst
+++ b/doc_src/cmds/history.rst
@@ -6,8 +6,8 @@ history - show and manipulate command history
 Synopsis
 --------
 
-| ``history`` [**search**] [**--show-time** **--case-sensitive**]
-	\	\   [**--exact** | **--prefix** | **--contains**] [**--max** *n*] [**--null** **--reverse**]
+| ``history`` [**search**] [**--show-time**] [**--case-sensitive**]
+	\	\   [**--exact** | **--prefix** | **--contains**] [**--max** *n*] [**--null**] [**--reverse**]
 	\	\   [ *SEARCH_STRING...* ]
 | ``history`` **delete** [**--case-sensitive**]
 	\	\   [**--exact** | **--prefix** | **--contains**] *SEARCH_STRING...*