bug fix in evaluation of symbol function