bug fix for mongoDB shell