Refix upper bound