Fix small typo in document about text editors