small bugfix to the editor