chiark / gitweb /
fix typo, thanks to kees