chiark / gitweb /
Fix outdated comment