chiark / gitweb /
Fix some errors.