Update DefaultFormatter.php