Update whoosh_backend.py