I don't get what the problem is. He used DNS as a name server, which is what it is. The only weird thing is TXT instead of CNAME.