fixed minor bug in DomainFinder