chiark / gitweb /
Remove debugging text; oops.