Fix json formatter to output 'real' json.