The smart contract itself may have been the one that contained the mistake. We've seen this happen before and they just had to fork the chain.
It's all nonsense. In the real world people make mistakes and a court should be allowed to override and figure out the right thing to do.