chiark / gitweb /
typo fix in comment