trivial: remove unnecessary semicolons