semicolon and formatting