Don't generate code for axiom. Fixed missprint in macro name.