chiark / gitweb /
Remove spurious semicolon.