Double semicolon

My most useless pull request ...