Minor updates to the editor