[php-doctrine-collections] Minor doc change