Fix bug in Evaluator.