Yes, exactly. If it's specified in the smart contract, that's what everyone signed up for, even if they didn't understand the bug. If people signed a paper con

Yes, exactly. If it's specified in the smart contract, that's what everyone signed up for, even if they didn't understand the bug. If people signed a paper contract and a software system was designed to implement the contract, but the software system erroneously (through a bug) did something that went against the contract, that would be an erroneous payment. But if the code is the contract in a smart contract, bugs aren't contract errors.