chiark / gitweb /
Two small cleanups