repaired some symbols