Minor tweaks to mongodb tool.