Verifier: Fixed a simple typo