fix some operator names in patterns