added declarations for IndexedCorpus