diff --git a/Doc/lib/libfl.tex b/Doc/lib/libfl.tex
index bacbf76868e..cb21708c4aa 100644
--- a/Doc/lib/libfl.tex
+++ b/Doc/lib/libfl.tex
@@ -81,8 +81,7 @@ Show a dialog box with a three-line message and YES and NO buttons.
 It returns \code{1} if the user pressed YES, \code{0} if NO.
 \end{funcdesc}
 
-\begin{funcdesc}{show_choice}{str1\, str2\, str3\, but1\optional{\, but2\,
-but3}}
+\begin{funcdesc}{show_choice}{str1, str2, str3, but1\optional{, but2, but3}}
 Show a dialog box with a three-line message and up to three buttons.
 It returns the number of the button clicked by the user
 (\code{1}, \code{2} or \code{3}).
diff --git a/Doc/libfl.tex b/Doc/libfl.tex
index bacbf76868e..cb21708c4aa 100644
--- a/Doc/libfl.tex
+++ b/Doc/libfl.tex
@@ -81,8 +81,7 @@ Show a dialog box with a three-line message and YES and NO buttons.
 It returns \code{1} if the user pressed YES, \code{0} if NO.
 \end{funcdesc}
 
-\begin{funcdesc}{show_choice}{str1\, str2\, str3\, but1\optional{\, but2\,
-but3}}
+\begin{funcdesc}{show_choice}{str1, str2, str3, but1\optional{, but2, but3}}
 Show a dialog box with a three-line message and up to three buttons.
 It returns the number of the button clicked by the user
 (\code{1}, \code{2} or \code{3}).