Fix terrible typo in aleabot_eval (that doesn't matter at all with the default settings)