--- doc/xnee.texi.orig	Wed May 11 05:04:02 2005
+++ doc/xnee.texi	Mon Jul 25 22:43:28 2005
@@ -12,7 +12,7 @@
 
 @dircategory Miscellaneous
 @direntry
-@ * : (Xnee).        Xnee's Not Event Emulator.
+* Xnee: (xnee).		Xnee's Not Event Emulator.
 @end direntry
 
 
