diff --git a/doc/userman/user-sources.tex b/doc/userman/user-sources.tex
index a93678e60ecc0b19fcff3103e41f0dbc7b82a2b6..f104502d3423b2d9554110da8fae661c2b4109e9 100644
--- a/doc/userman/user-sources.tex
+++ b/doc/userman/user-sources.tex
@@ -281,7 +281,7 @@ a negative value, and choose the smallest rank possible starting from
   that is, its opposite option \optiondef{-}{remove-unused-types} is set.
 
 \item \texttt{\optiondef{-}{machdep} <machine architecture name>} defines the
-  target platform. The default value is a \texttt{x86\_32} bits
+  target platform. The default value is a \texttt{x86\_64} bits
   platform. Analyzers may take into account the \emph{endianness} of the
   target, the size and alignment of elementary data types, and other
   architecture/compilation parameters. The \texttt{-machdep} option provides a