chiark / gitweb /
Fixed typo in `NAME' section.