Fix bug in mongo_get