Editing: ReflectorFormatter.php