symbol name bug fix