diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 6715e92f0a7..35b873609ec 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -2626,7 +2626,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.