Fixing typo bug in VERIFY();