あとそういえばPATRIOTのダブルダウンで赤7がダブル扱い(配当が2倍になる)になってたのを修正したはず…