WFs: try to fix a random test failure