fix another issue with document_counter being undefined in search results