fixed symbol labels in worklist