Minor fix on the checkDominatedOrIncomparable() function