chiark / gitweb /
fix debug output string