Minor improvement to terminal output of update-bash-profile.