edits arising from Ivan's critique of JSON doc