Fix some misplaced semicolons