fix another mini bug in irace tuning