Minor updates to DNS lookup revisited, mostly formatting and verbiages.