chiark / gitweb /
Fix typo in comment