Adjust example to be valid in the new contract