fixed the typesetting in axiom 3