Support for contract-update