fix double ; typo