chiark / gitweb /
Fix an inaccurate comment.