#523: fix json