Some slight improvements to the editor.