chiark / gitweb /
Fix one bug.