Small correction to how to run the example