Fix typo and clarify what is crypto-verifiable.