JsonGrammar formatting