Temporary bugfix in search.py