Small fixes to dns.h