chiark / gitweb /
fix typo in man page