修正。詳しくは差分を参照。