remove stray semicolon

(without removing half the file…)