FUDG_JSON.md: formatting