bug fixed in JSON example