bugfix to the comparing of syntax_tools version number.