mdns: suppress a Coverity warning