fix double semicolon typos