[SatFinder] fix a possible BSOD.