Minor fix in text editor