fix some duplicated semicolons, but not all of them.
remove force-semi, which was a hack.