semicolons and formatting