chiark / gitweb /
Little formatting fixes.