chiark / gitweb /
fix double semicolon typo