small change to bash_profile