Attempt to fix compilation error with verify