diff -r 23fc3dc4317e runtime/doc/usr_22.txt
--- a/runtime/doc/usr_22.txt	Wed Nov 14 22:38:08 2012 +0100
+++ b/runtime/doc/usr_22.txt	Thu Nov 15 20:00:49 2012 +0100
@@ -326,9 +326,9 @@
 
 The output could look like this:
 
-  1 #h	"help.txt"			line 62 ~
-  2 %a+	"usr_21.txt"			line 1 ~
-  3	"usr_toc.txt"			line 1 ~
+  1 #h   "help.txt"			line 62 ~
+  2 %a + "usr_21.txt"			line 1 ~
+  3      "usr_toc.txt"			line 1 ~
 
 The first column contains the buffer number.  You can use this to edit the
 buffer without having to type the name, see below.