Update the example to include the ExecutionContext