Ehhh - no; this is correct, or at least OK: The point is that if you add the same index to an index list more than once you should only get it out once in the end.