InvertedIndex: further debugging