tweak: remove extraneous semicolons