collapseSymbols workaround