Add warning in widening documentation