Remove extra semicolon.
Various small nitpicks.