Polish a bit the editor.