They better close that short quickly, with MSTR dipping right now.