chiark / gitweb /
fixed three typos