MongoDB: use same naming as redis backend