That's what I thought to mango. I talked tda about it. They said they can still short them. Doesn't matter