fixes a type in symbol name
symbols are taken from an external file