More DNS doc tweaks