chiark / gitweb /
Two tiny cleanup patches from James H.