Fix bug in bash_profile