remove double semicolon
Merge pull request #6031