Fix version of whoosh