Make the execution example more clear