Editing: ArrayObject.php