chiark / gitweb /
Comment typo fix.