Fix some semicolon spacing