Fixes to formatting and JSON example