chiark / gitweb /
Minor changes to the files and removed a bit of debug.