chiark / gitweb /
correct typo (spotted by rejs)