Fixing things about the new symbol traversal function