1 files changed, 1 insertions, 1 deletions

diff --git a/coq/README b/coq/README
index 0e460271..2e8c5ec6 100644
--- a/coq/README
+++ b/coq/README
@@ -7,7 +7,7 @@ Later contributions by Patrick Loiseleur, Pierre Courtieu,
 $Id$
 
 Status:		supported
-Maintainer:	Pierre Courieu
+Maintainer:	Pierre Courtieu
 Coq version:	6.3
 Coq homepage:	http://pauillac.inria.fr/coq/assis-eng.html