Fixing bash_profile