Or they got vested in XX shares and had W-2 income, and they sold XX-yy shares.
Sometimes people keep some or all of the shares they get.
