Minor bash_profile update