style fix in bash_profile