Fixed switching between different translations (enumerate vs.elementOf)