Minor change to AIPlayer