Fixed a mistake in concrete max function for list of pairs.