chiark / gitweb /
fix previous commit