I'll take care of this in [PHP-730](https://jira.mongodb.org/browse/PHP-730).