fixed a small mistake in the dominance algorithm