Fix wrong execution examples