bash_profile: fix