Fixing a path and an alias in the bash_profile.