chiark / gitweb /
fix typo/copy error