Small typing improvements to the editor.