small amend to the .bash_profile