Be more gentle when writing in .bash_profile