chiark / gitweb /
man: two fixes, reported on irc by 'wget'