Exactly. Also the 354,316 shares that didn't post until after the close is not included in the short total. So the total could be much larger and again these are just regular shorts not counting naked shorts.
The MMs dug a much deeper hole today no question about it.