Index: fix an error in the previous commit