chiark / gitweb /
remove spurious debug; fixes