Fix ignorelocality option.