Fix in documentation for run example