debugging Verify Error