Dns: a little bit more debugging