chiark / gitweb /
Minor tweaks.