An old version of editor (just in case)