Minor fix in JSON