updates for mongodb 1.3 release