Fix bad int truncate in verify