chiark / gitweb /
Fix a couple of robustness issues.