License and formatting.