minor bugfix, see dns.c for comments.