chiark / gitweb /
fixed incorrect termination code