More permissive upper version bounds