little tweak to version of editor-overlay