Management's shares converted from RSUs, options, etc.. Locked up and not available to be shorted. (one would hope)