Improve verify.
Rename variable name.