chiark / gitweb /
Removed some mistakes.