chiark / gitweb /
docs: Fix a typo