Fixing up the bash_profile