Clarified future-proofing verifiers; fixed typos.