Remove upstreamed patch for typo in verify3