minor change in the editor file