May have introduced a regression in verify, checking it out now