Adapt to small change in Pretty's exports