chiark / gitweb /
Fix several issues found by review