minor fix in setenv.sh