remove double semicolon
Merge pull request #6031
Merge pull request #6031 in master