Fixes weird symbol names