be more careful when getting name of symbol