Bug fixes for SkipScanFilter.intersect