Minor edit to setenv.sh