Fix of the K upper bound.