Fix the name of my .bash_profile