Update JsonFormatter.php