chiark / gitweb /
another typo fix and a clarification of my sentence