cleaned up some old dead code in the symbolics