Fix for Whoosh >= 2.5