Fix bug in bash_profile were there was a misspelling.