small text mods to jsoneditor