diff --git a/doc/manual/source/installation-and-configuration.rst b/doc/manual/source/installation-and-configuration.rst
index a109f3cfc2b78e23c3400e78fde9f9533acdead3..3f8e9015fdf81c32739c5d80d367ae6918da03bb 100644
--- a/doc/manual/source/installation-and-configuration.rst
+++ b/doc/manual/source/installation-and-configuration.rst
@@ -7,7 +7,7 @@ Installation and configuration
 Software requirements
 =====================
 
-Packaged versions of Dynare are available for Windows 7/8/10, several GNU/Linux
+Packaged versions of Dynare are available for Windows (7, 8.1, 10), several GNU/Linux
 distributions (Debian, Ubuntu, Linux Mint, Arch Linux) and macOS
 10.11 or later. Dynare should work on other systems, but some compilation steps
 are necessary in that case.