chiark / gitweb /
Minor rewording and typo-correction.