Jeremy has a slight update to the error message in https://github.com/mongodb/mongo-php-driver/pull/590