chiark / gitweb /
Correct a number of trivial typos.