Allegedly MongoDB fixed itself