Minor updates for EDNS and DNS over TCP section