This line is no longer needed after my suggested change in `rankLists`