chiark / gitweb /
minor tidying following last change