Minor fixes for sectioneditor and codeviewer