Check Syntax of the modified axiom

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.