--- docs/boa.texi.orig	Mon Nov 25 18:28:07 2002
+++ docs/boa.texi	Mon Nov 25 18:28:44 2002
@@ -31,7 +31,7 @@
 @ifinfo
 @dircategory Networking
 @direntry
-* Boa: (boa).           The Boa Webserver
+* Boa: (boa).                  The Boa Webserver
 @end direntry
 @end ifinfo