mongodb.md: Fix default port in prose