Minor patches to DNS system.