Added workaround for mysterious bug (72312 (#72312) @ InfoKOM). Rev: lib/modules/Protocols.pmod/DNS.pmod:1.6