chiark / gitweb /
Typo fix, closes: #655096