chiark / gitweb /
Fix a couple of typos.