chiark / gitweb /
Typo fixes.