Fix for symbolic evaluator bug.