Fix bug-reporting info.

diff --git a/v7/doc/user-manual/user.texinfo b/v7/doc/user-manual/user.texinfo
index c046403d30474835229b082a1e999e7c69d31232..6a81817e4b32976147ea54193757565e420174e3 100644 (file)
--- a/v7/doc/user-manual/user.texinfo
+++ b/v7/doc/user-manual/user.texinfo
@@ -2,7 +2,7 @@
 @iftex
 @finalout
 @end iftex
-@comment $Id: user.texinfo,v 1.99 2002/12/30 05:31:36 cph Exp $
+@comment $Id: user.texinfo,v 1.100 2002/12/30 05:34:36 cph Exp $
 @comment %**start of header (This is for running Texinfo on a region.)
 @setfilename user.info
 @settitle MIT Scheme User's Manual
@@ -132,9 +132,15 @@ available at our site.
 @cindex bugs, reporting
 @cindex reporting bugs
 To report bugs, use the bug-reporting tool at
-@uref{http://savannah.nongnu.org/projects/mit-scheme/}.  Please include
-the output of the @code{identify-world} procedure (@pxref{Basics of
-Starting Scheme}), so we know what version of the system you are using.
+
+@example
+@uref{http://savannah.nongnu.org/projects/mit-scheme/}
+@end example
+
+@noindent
+Please include the output of the @code{identify-world} procedure
+(@pxref{Basics of Starting Scheme}), so we know what version of the
+system you are using.
 
 @node Installation, Running Scheme, Introduction, Top
 @chapter Installation