chiark / gitweb /
fix debug message