What does `operator.index` do here?