fixes to modules.mongodb.db_exists