editing bash_profile to fix a silly problem