.bash_profile: removed a few echo -e