Point out that nicknames for hosts can go in the hosts file, by fixing wording that seemed contradictory.