Remove a duplicate Semicolon
Merge pull request #9848 from Foldor/master

Remove a duplicate semicolon
Closes #9848