.bash_profile correction