chiark / gitweb /
Fix a typo I noticed in passing.