fix pushing-editor-error