Quite likely they aren't allowed to sell whenever they want, they may be subject to an open trading window, or a fixed sell-down plan over the year.