chiark / gitweb /
resolved: fix typo in log message