added minor mods to bash_profile