Fix symbols clearing in text.ml