minor tweak to editor