'servers' parameter is added to a DNS resolution function