minor fix to bash_profile