Trade-Diverting Customs Unions and Welfare Improvement: a Clarification