chiark / gitweb /
Fix typos.