brief fixes to JSON

template for david