You're right. Anyway, even if it was completely discretionary selling after the announcement wouldn't be insider trading (unless he knows something bad which hasn't been disclosed yet that will make the price go down later). But the intention to sell, however is triggered, gives an incentive to put a positive spin on the announcement and profit from it (hardly unique to this case, the price of the stock didn't move that much anyway).