Removed duplicated code, caused by merge mistake
Uses immutable TopDocs, because the TopDocs#merge always returns a new merged TopDocs instance as result.