Make the DNS resolution option more consistent with existing options.