patch per https://jira.mongodb.org/browse/SERVER-13500