chiark / gitweb /
Small corrections.