diff --git a/doc/dynare.texi b/doc/dynare.texi
index 22267f0b4d8705a689150d3166e7d0beab978fdb..8b051b01c68afcbe14cfb82568ef621a53e9d35b 100644
--- a/doc/dynare.texi
+++ b/doc/dynare.texi
@@ -364,7 +364,7 @@ If you want to give a URL, use the address of the Dynare website:
 @node Software requirements
 @section Software requirements
 
-Packaged versions of Dynare are available for Windows XP/Vista/Seven,
+Packaged versions of Dynare are available for Windows XP/Vista/7/8,
 @uref{http://www.debian.org,Debian GNU/Linux},
 @uref{http://www.ubuntu.com/,Ubuntu} and Mac OS X Leopard/Snow
 Leopard.  Dynare should work on other systems, but some compilation
@@ -7287,7 +7287,7 @@ is @file{$HOME/.dynare}, while on Windows it is
 @file{%APPDATA%\dynare.ini} (typically @file{C:\Documents and
 Settings\@var{USERNAME}\Application Data\dynare.ini} under Windows XP,
 or @file{C:\Users\@var{USERNAME}\AppData\dynare.ini} under Windows
-Vista or Windows 7). You can specify a non standard location using the
+Vista/7/8). You can specify a non standard location using the
 @code{conffile} option of the @code{dynare} command (@pxref{Dynare
 invocation}).