Remove a bogus semicolon spotted by Gisle Vanem