fix typo; sync OPERATORS