chiark / gitweb /
fix the new warnings I asked for