Deal with symbols being mangled.