dns.cpp: cosmetics