fix JSON compilation warning