dns.hpp: whitespaces++