Fixed bugs of deleting symbols.