Small fix to bash_profile