chiark / gitweb /
Minor tidying and typo correction.