chiark / gitweb /
util: fix comment