fix the JSON's formatter problem