diff --git a/devel/gengetopt/files/patch-aa b/devel/gengetopt/files/patch-aa
index 644d8a36afe3..83166dabbb5b 100644
--- a/devel/gengetopt/files/patch-aa
+++ b/devel/gengetopt/files/patch-aa
@@ -5,7 +5,7 @@
  @c %**end of header
  
 +@direntry
-+* GenGetopt (gengetopt).	A tool for generating a C function which parses command line arguments.
++* GenGetopt: (gengetopt).	A tool for generating a C function which parses command line arguments.
 +@end direntry
 +
  @set myhomepage @uref{http://www.lorenzobettini.it}