fixed bug regarding overzealous filtering in inverse search