That was the shares in the 10q. They never hit the market.
The filings were not new news, but it's official now.