chiark / gitweb /
minor typo fixes