Correct assertion about verifiability.
fix another typo