Fix a gcc-4.8 warning, about extraneous semicolons.