mongodb/docs-tools — pull request #40 by lehmannro (2014-03-19 10:01:16+00:00)
Title: Fix typo

Inferring from the next line, this is a typo.