PublicDNS: style changes as suggested by @chrismorast