Fixing env setup documentation with @jossoco