chiark / gitweb /
Add technically-missing semicolon.