James Whitehurst, president and chief executive officer of Red Hat Inc., profited $1,038,000 from selling company stock, according to a Form 4 filing with the Securities and Exchange Commission.

On Tuesday, Whitehurst sold 12,000 shares of company stock at a price of $86.50 per share.

Whitehurst still owns 417,072 company shares valued at $36 million, according to the SEC filing.

Whitehurst has worked for Red Hat since joining in 2008. During his tenure with the company, Red Hat was added to the S&P 500 index, more than doubled its revenue, and was named to Forbes’ list of “The World’s Most Innovative Companies,” in 2015.

Red Hat stock closed Thursday at $85.92, down 81 cents, or 0.93 percent.