Fix typo in .bash_profile