Update .bash_profile

Refresh seems nicer…