If I read it correctly, and that's a massive if, I cannot stress enough I didn't read very closely, but it was against the rules to do that in the first place.

I speculate it's the kind of thing a bankruptcy would resolve but until then they'd just pay interest on the short position.