GH #440 MongoDB ObjectId string formatting