Reverting the change for the JSON formatter, pointless here