diff --git a/doc/v2/platforms.html b/doc/v2/platforms.html
index a064c36f..05882830 100644
--- a/doc/v2/platforms.html
+++ b/doc/v2/platforms.html
@@ -41,7 +41,7 @@
           <dd>
             <dl>
               <dt><a href="http://gcc.gnu.org">GCC</a> 2.95.3, 2.96, 3.0.4,
-              3.1, and 3.2 on <a href="www.redhat.com">RedHat Linux 7.3</a>
+              3.1, and 3.2 on <a href="http://www.redhat.com">RedHat Linux 7.3</a>
               for Intel x86</dt>
 
               <dt><a href=