I\'m facing a strange bug when using pandas.MultiIndex.set_levels() to change the type of a (header) MultiIndex Level from string to int. Basically, set_levels(
pandas.MultiIndex.set_levels()