tiny correction to json