He probably made a ton of money shorting the stock.