Fix a bug in Operator.parse