Fix printing the mongodb theme