Fix a bug causing searches to never be interrupted.