When the search index is empty, there was a warning and no headings were
displayed. Now the headings are displayed and there is no warning
anymore.