Ensure correct type format specifiers used in ptrverify calls.

[natoscott]

These issues were detected by the CodeQL static analysis tool ( https://github.com/github/codeql-action#readme )

Also improved wording in some strings - the word 'failed' was duplicated accidentally in a few places.