A few corrections before the attestation