chiark / gitweb /
Minor code cleanup