more work on JSON