Re #10031. Fixing the test.