SatFinder: Minor fix.