fix bash_profile typo