Fix some semicolons