Double semicolon

My most useless pull request ...
Merge pull request #146 from nicolas-obre/patch-1

Double semicolon