Fix documentation search

  When using the documentation search no results were displayed.

(cherry picked from commit 55b6595e911a1adad8585196ee9d3461334601f7)