chiark / gitweb /
man: minor man page fix