--- vm.texinfo.old	2002-10-18 15:44:26.000000000 -0500
+++ vm.texinfo	2002-10-18 15:47:30.000000000 -0500
@@ -2,7 +2,7 @@
 @setfilename vm.info
 @settitle VM User's Manual
 @direntry
-* VM::			A mail reader.
+* VM: (vm).		A mail reader.
 @end direntry
 @iftex
 @finalout