chiark / gitweb /
Fix a few minor warnings.