fix bug in jsoneditor