minor bug fix for "editor"