Ok. The axiom command is now generated and I clearly missed a change. I'll fix it in the next patch. Tim