Editing of texts