Update dht.tex