diff --git a/docs/HowToSubmitABug.html b/docs/HowToSubmitABug.html
index 7b54675..fecd1af 100644
--- a/docs/HowToSubmitABug.html
+++ b/docs/HowToSubmitABug.html
@@ -184,7 +184,7 @@
 </b></font></td></tr></table><ul>
 <!-- *********************************************************************** -->
 
-Fortunately we haven't had to many miscompilations.  Because of this, this
+Fortunately we haven't had too many miscompilations.  Because of this, this
 section is a TODO.  Basically, use bugpoint to track down the problem.<p>