Fix mangles from symbol/string replacement