minor change to BoardEditorTerminal