minor improvments of the editor