chiark / gitweb /
Minor reformatting.