minor fix in verify