chiark / gitweb /
fix silly formatting