chiark / gitweb /
Fixed a small typo in a comment (#3514)