Minor JSON fixes