fixing some semicolons