tweaks for domain-name proofs