If other people had sell stops in place before you went market, then they would be part of the 10,000 share print. For some reason, stop orders are filled before plain market orders even though technically they are the same thing. Maybe stop order fills are automated whereas market orders are discretionary, depending on how the Specialist configured his system.