diff --git a/Doc/lib/libreadline.tex b/Doc/lib/libreadline.tex
index 4681ee55f1f..f59ddac8b1a 100644
--- a/Doc/lib/libreadline.tex
+++ b/Doc/lib/libreadline.tex
@@ -49,8 +49,9 @@ unlimited history file size.
 
 \begin{funcdesc}{set_history_length}{length}
 Set the number of lines to save in the history file.
-\func{write_history_file} uses this value to truncate the history file when
-saving.  Negative values imply unlimited history file size.
+\function{write_history_file()} uses this value to truncate the
+history file when saving.  Negative values imply unlimited history
+file size.
 \end{funcdesc}
 
 \begin{funcdesc}{set_completer}{\optional{function}}