--- man/parser.1	2001-04-25 09:51:01.000000000 -0400
+++ man/parser.1	2008-08-05 12:21:00.000000000 -0400
@@ -1,18 +1,18 @@
 .TH COQ 1 "April 25, 2001"
 
 .SH NAME
-parser \- Coq parser
+coq-parser \- Coq parser
 
 
 .SH SYNOPSIS
-.B parser
+.B coq-parser
 [
 .B options
 ]
 
 .SH DESCRIPTION
 
-.B parser
+.B coq-parser
 is a program reading Coq proof developments and outputing them in the
 structured format given in the INRIA technical report RT154. This
 program is not for the casual user.