--- doc/sed.texi.orig	Mon Jun 29 08:01:51 1998
+++ doc/sed.texi	Thu Dec 28 02:05:37 2000
@@ -25,7 +25,7 @@
 
 @ifinfo
 @direntry
-* sed: (sed).                   Stream EDitor.
+* GNU sed: (sed).		Stream EDitor.
 @end direntry
 This file documents @sc{sed}, a stream editor.