#4: fix json