fixing a small bug in export() of MongoDB