[US13.2] Another fix ...