Fix a couple typos in the DNS code