Double semicolon

My most useless pull request, sorry ...