fixed disambiguator bug