Fix https://github.com/deepmind/open_spiel/issues/577
Fix https://github.com/deepmind/open_spiel/issues/577

deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel,deepmind/open_spiel