Re: verify failure (not catched by xenofarm testsuite)