Remove a redundant index

An index with the same effect already exists, so we can remove this one