Minor change to InvertedIndex.java