mongodb/docs — pull request #616 by puentesarrin (2013-02-06 18:33:46+00:00)
Title: Redundant term

Duplicated "options".