Fix a bug in DNS lookup.