Minor documentation patches

[David Röthlisberger]

Hi all,

I submitted 3 rather minor documentation patches that have sat in the
bugtracker untouched for 2 months (perhaps I should have put "[PATCH]"
in the title of the bug report, but I don't know how to edit it
retro-actively). They are:

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11201
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11202
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11244

Could someone please have a look? And if there's any way I can improve
my bug reports or patches, do let me know!

Thanks,
Dave.