Fixed a bug in OperatorPriority class.