fixed bug in disambiguator
changed int2String output to lowercase only