Removed double semicolons and added missing one