Editing: LicenseElement.php