It's market makers not retail shorting. They usually short stock that is being delivered to them ie..debentures