Little bash_profile fix