'index' is already an int. No need to cast it.