Wintermute smart contract bug