minor formatting change to fuxup_etc_hosts_file()