SEC Shorts dropped. And it's good.