Fix bug Michelle observed in symbolic evaluation.