Typo in documentation.

	* doc/havm.texi (Top): Here.

doc/havm.texi

@@ -122,7 +122,7 @@ and feedback can be sent to
 @href{projects@@lrde.epita.fr, @acronym{lrde}'s Projects Address}.
 @acronym{LRDE} stands for @href{http://www.lrde.epita.fr, Laboratoire de
 Recherche et Dévelopment de l'@acronym{EPITA}}, i.e., the Research and
-Development Labof @acronym{EPITA}, the @href{http://www.epita.fr, École
+Development Lab of @acronym{EPITA}, the @href{http://www.epita.fr, École
 Pour l'Informatique et les Techniques Avancées}.
 
 @href{http://www.cs.princeton.edu/~appel/, Andrew Appel's home page}