Correction to not include won KRK endgame.