chiark / gitweb /
Typo fixes to man page.