Fix typos: Veryify -> Verify