Fixing up a small issue with the mongodb_user docs