なお、ピーチも同様に国内と海外で名称が異なる期間が存在した(1985年〜1996年の12年間)。