Fix doc for $sender_host_dnssec. Bug 1485