Editing: DefaultFormatter.php