A stupid bug (forgotten &) caused invenio doctor to always re-initialize the search in the discovery phase