bug fix in mongodb detection