chiark / gitweb /
minor typographical changes