chiark / gitweb /
A couple of smaller changes.