Re #10031. Removed FakeMinimizer.