Bugfix in editor.lua;