small bug fix in is mongo