minor fix in bash_profile