chiark / gitweb /
fix typo in error message