Small bug in evaluator.