Fix bug: the game unexpectedly terminated when all AIs went TLE.