mongodb: fix patch

Fixes #434.