#523: fix invalid json