chiark / gitweb /
fix typo, closes: #171781