Some additions to the editor