slight fixes to presentation of dns/web proofs