bug fix in highlighting ambiguous alternatives