another minor JSON dump