diff --git a/doc/gf-index.html b/doc/gf-index.html
index b338ff1ea..c5fa3528a 100644
--- a/doc/gf-index.html
+++ b/doc/gf-index.html
@@ -175,7 +175,7 @@ Knowledge</a>. GF is used in implementing multimodal and multilingual dialogue s
 
 <p>
 
-<a hred="http://www.key-project.org/">KeY</a> project on Integrated Deductive
+<a href="http://www.key-project.org/">KeY</a> project on Integrated Deductive
 Software Design. GF is used for
 authoring informal and formal specifications. More details on the GF
 application