chiark / gitweb /
Wording fix.