chiark / gitweb /
fix parsing bug