My understanding is the stock options gets released overtime ("vests") following a fixed schedule.

So it's basically part of the compensation he hadn't yet earned...