Fixed a compilation error

Hello Seb,

This modification just fixes a compilation error (a semi-colon was missing).
I know that you prefer having a patch by email (via bugzilla) but it's easier to edit the code via Github than forking, etc. just to fix this kind of bug ;-)