diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index a12971d63a7..78d83995e28 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -2613,7 +2613,7 @@ cc-1020 cc: ERROR File = pqcomm.c, Line = 427
from , put its bin
directory in the PATH, and run
configure with the
- --host=x86_64-w64-mingw option.
+ --host=x86_64-w64-mingw32 option.