minor fix on Aggressive_AI_player