Or they just cashed in some stock options.