chiark / gitweb /
More whitespace fixes.