licenses and formatting