fixed bug in symbol handling