When a repair axiom is modified and you click on OK, then currently the syntax of the old axiom is checked. However **the syntax of the modified axiom must be checked**.