Fix domain name for DNS seed server.