Adapt to recent change in Axiom