chiark / gitweb /
Fix some typos