Dump in JSON.