superfluous semicolon