chiark / gitweb /
fix man page typos