Fix typo that caused equalTriggerDescs() to return false in cases where

the two trigger sets were logically equal, but not in the same order.
Caught by Holger Krug (hkrug@rationalizer.com).