Minor fixes in DNS query routines.