minor edit to see whether the new DNS config works