Fix to read-tex-text