No problem: https://github.com/mongodb/mongo-php-driver/pull/591#discussion_r10048458