[Core] Fix MongoDB (fixes #11).