WebSearch: fix symbol name typo in loop checking
WebSearch: fix symbol name typo in loop checking

* Cherry-picked from 7ba282f14603e7ac3ec5313869e6e4d4444c4891.

inveniosoftware/invenio,inveniosoftware/invenio,tiborsimko/invenio,tiborsimko/invenio