Fixing the build by commenting out a Verify