diff --git a/doc/userman/main.tex b/doc/userman/main.tex
index 6810e9905f468badece0852edf7fb19cd9eb7955..336cb0c06b42dd51b21f4b00af215378d18464bf 100644
--- a/doc/userman/main.tex
+++ b/doc/userman/main.tex
@@ -15,7 +15,16 @@
 
 \begin{document}
 
-\coverpage{\fclang User Manual \\ version \version{} \\for \fclang version \fclangversion \\and \framac version \fcversion}
+
+\coverpage{ \vbox{
+\centerline{\fclang User Manual}
+\vspace{.3em}
+\centerline{\normalsize{version \version}}
+\vspace{.3em}
+\centerline{\normalsize{for \fclang version \fclangversion}}
+\vspace{.3em}
+\centerline{\normalsize{and \framac version \fcversion}}
+}}
 
 \begin{titlepage}
 \begin{flushleft}