Normally `df.index.name = "XXX"` add's a header to the index column of a dataframe, however when using the Style API this doesn't work. It needs to be investigated whether this is a pandas issue or hidden in the API somewhere.