Minor comment update in license-related HTML