bugfix in LangLatexDefaultVariableNameGenerator associated with printing indices