chiark / gitweb /
Fix a few typos in log messages