That's just under 10% of the company's market cap.