Removes double semicolon.

Just a little semicolon I stumbled upon