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