chiark / gitweb /
Minor typo fixes.