Get rid of alternate names for symbols.