some minor editor tweaks