Fixes #451 -- makes clear that Mongo server must be started.