Fix symbols with different display name

Note: I'd like to keep the commented tracing code for a while.
Do you mean `NormalizedIdents` or `CleanedIdents`? I understand `CleanIdents` with a different meaning.