Another minor change to setup instructions