Fixed some doubled semicolons